Normal forms in partial modal logic
نویسندگان
چکیده
منابع مشابه
Normal Forms in Partial Modal Logic
A “partial” generalization of Fine’s definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi]. Introduction. From the viewpoint of formal linguistics, cognitive science and artificial intelligence, there appears to be a natural interest in the combinations of partiality and ...
متن کاملNormal Forms in Combinatory Logic
Let R be a convergent term rewriting system, and let CR-equality on (simply typed) combinatory logic terms be the equality induced by βηRequality on terms of the (simply typed) lambda calculus under any of the standard translations between these two frameworks for higher-order reasoning. We generalize the classical notion of strong reduction to a reduction relation which generates CR-equality a...
متن کاملUnification in the normal modal logic Alt1
The unification problem in a logical system L can be defined in the following way: given a formula φ(x1, . . . , xα), determine whether there exists formulas ψ1, . . ., ψα such that φ(ψ1, . . . , ψα) is in L. The research on unification for modal logics was originally motivated by the admissibility problem for rules of inference: given a rule of inference φ1(x1, . . . , xα), . . . , φm(x1, . . ...
متن کاملNormal Forms Have Partial Types
We prove that every λ-term in normal form has one of Thatte’s partial types.
متن کاملProving Unprovability in Some Normal Modal Logic
The present communication suggests deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula φ either ` φ or a φ (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1993
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-28-1-37-50